#include <lib.h>
#define sem_destroy	_sem_destroy
#include <semaphore.h>

PUBLIC int sem_destroy(sm)
sem_t* sm;
{
  message m;
  
  m.m1_i1 = sm->id;

  return _syscall(FS, SEM_DESTROY, &m);
}
